Verification tasks. Verify the following properties:
6. msort returns the correct run indexes
